Issue1643.agda:18,8-9
N.A !=< Set
when checking that the expression a has type Set
